$\forall$$g$:OGrp. $\ast$ $\in$ $\mid$$g$$\mid^{+}\rightarrow\mid$$g$$\mid^{+}\rightarrow\mid$$g$$\mid^{+}$